Самая большая электронная библиотека рунета. Поиск книг и журналов

Interactive Theorem Proving - ITP 2011

Автор: , Автор: , Автор: , Автор:
Размер книги: 3.65 Mb

Logic Colloquium 2006 (Lecture Notes in Logic, 32)

Автор: , Автор: , Автор: , Автор:
Размер книги: 1.86 Mb

Logic Colloquium 2006 (Lecture Notes in Logic)

Автор: , Автор: , Автор: , Автор:
Размер книги: 2.33 Mb

Type Theory and Formal Proof: An Introduction

Автор: , Автор:
Категория: Computer Science, Mathematics
Размер книги: 2.35 Mb